0
EUR
00,00*
Cart EUR 00,00 *
Filters
    Advanced search
    Create your personal account
    1. Homepage
    2. Architecture Verification And Validation – all Bücher

    Search Results "Architecture Verification And Validation" - all Bücher

    We could not find any exact matches to your search for "architecture verification and validation". Maybe these items match your search.

    Ansicht:

    Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

    Lecture Notes in Computer Science -volume 15221

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 81.04

    William L Oberkampf, Christopher J Roy
    Verification, Validation, and Uncertainty Quantification in Scientific Computing

    "This updated edition provides a framework for assessing the reliability and uncertainty of modeling and simulation results used in industry and government. With extra worked examples and homework problem…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 174.92

    Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

    Lecture Notes in Computer Science -volume 15223

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 54.75

    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

    Lecture Notes in Computer Science -volume 15222

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 72.27

    Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

    Lecture Notes in Computer Science -volume 15220

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 72.27

    Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

    Lecture Notes in Computer Science -volume 15219

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 81.04
    Information on availability or release dates for items is based on information that we receive from our suppliers. These dates are not guaranteed and are subject to change at any time.
    © jpc-Schallplatten-Versandhandelsgesellschaft mbH